Automatic Verification of Determinism for Structured Parallel Programs Martin Vechev1 , Eran Yahav1 , Raghavan Raman2 , and Vivek Sarkar2 1 IBM T.J. Watson Research Center.

Source URL: www.srl.inf.ethz.ch

• Computing
• Software engineering
• Programming language theory
• Parallel computing
• ALGOL 68
• Schedule

RPC Versus Documents IBM Almaden Research Centre, DAIS WG Face-to Face 1 May 03

Source URL: www.nesc.ac.uk

HH0611-007) November 13, 2006 Computer Science IBM Research Report The Design and Implementation of an IP Only Server Muli Ben-Yehuda, Oleg Goldshmidt, Elliot K. Kolodner, Zorik Machulsky,

Source URL: www.mulix.org

HHAI1606June 2016 Computer Sciences IBM Research Report Megos: Enterprise Resource Management in

Source URL: domino.research.ibm.com

Introduction to This Special Issue on Context-Aware Computing Thomas P. Moran IBM Almaden Research Center Paul Dourish University of California, Irvine

Source URL: www.dourish.com

• User interface techniques
• Anind Dey
• Humancomputer interaction
• Ubiquitous computing
• Context awareness
• Context-aware pervasive systems
• Paul Dourish
• Gregory Abowd
• Ambient intelligence
• Computing
• Computer science
• Human-centered computing

RJ10391 (A0610-035) October 24, 2006 Computer Science IBM Research Report Notes on Reliability Models for Non-MDS Erasure Codes James Lee Hafner, KK Rao

Source URL: domino.watson.ibm.com

• Coding theory
• Error detection and correction
• Engineering
• Reliability engineering
• Computing
• RAID
• Systems science
• Low-density parity-check code
• Erasure code
• ReedSolomon error correction
• Failure rate
• Fault tolerance

FOR IMMEDIATE RELEASE Scientists Discover New Technology Breakthrough in Fighting Viral Diseases IBM Research and Singapore’s Institute of Bioengineering and Nanotechnology Announce New Macromolecule with Triple-Play

Source URL: www.ibn.a-star.edu.sg

Discovering Experts across Multiple Domains Aditya Pal IBM Almaden Research San Jose, CA, USA

Source URL: www-users.cs.umn.edu

Networked I/O for Virtual Machines Approaches and Challenges Muli Ben-Yehuda, Ben-Ami Yassour, Orit Wasserman {muli,benami,oritw}@il.ibm.com IBM Haifa Research Lab

Source URL: www.mulix.org

• Software
• System software
• Computing
• Hypervisor
• VM
• Virtual machine
• Hyper-V
• Xen
• Virtualization
• Inputoutput memory management unit
• VirtualBox
• QEMU

Fine-scale Burstiness Spells Bad News for Elasticity! Sadeka Islam1, Srikumar Venugopal1,2, Anna Liu1,3 (1. UNSW 2. IBM Research - Ireland 3. NICTA ) , , anna.liu@nict

Source URL: acmsocc.github.io

• Computing
• Burstiness
• Elasticity
• Cloud infrastructure
• Cloud computing
• Central processing unit